least squares proof